1. Computer aided verification : international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings
المؤلف: Warren A. Hunt, Jr., Fabio Somenzi )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
2725
2. FM8501, a verified microprocessor
المؤلف: / Warren A. Hunt, Jr
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: FM8501 (Microprocessor)
رده :
QA
,
73
.
8
,.
F6
,
H86
,
1994
3. Formal methods in computer-aided design : third International Conference, FMCAD 2000, Austin, Tx, USA, November 1-3, 2000 : proceedings
المؤلف: Warren A. Hunt, Jr., Steven D. Johnson )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer engineering,Congresses ، Computer-aided design,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
1954
